['instbase.pro'].
['printmessages.pro'].
['rules.pro'].

current_prolog_flag(argv,L),nth1(2,L,FILE), [FILE].

loadfiles.

printknows.

print('out\n').
